(0 19 11)(1 9 4)(2 17 5)(3 20 7)(6 16 14)(8 12 10)(13 18 15)
ALLOWS (11/8)-SEQUENCE
1: (7 12 20)
(0 19 11)(1 9 4)(2 17 5)(3 20 10 8 12)(6 16 14)(7)(13 18 15)
2: (0 19 11)
(0)(1 9 4)(2 17 5)(3 20 10 8 12)(6 16 14)(7)(11)(13 18 15)(19)
3: (3 20 10)
(0)(1 9 4)(2 17 5)(3 8 12)(6 16 14)(7)(10)(11)(13 18 15)(19)(20)
4: (1 9 4)
(0)(1)(2 17 5)(3 8 12)(4)(6 16 14)(7)(9)(10)(11)(13 18 15)(19)(20)